package org.matheclipse.core.integrate.rubi45;


import static org.matheclipse.core.expression.F.*;
import static org.matheclipse.core.integrate.rubi45.UtilityFunctionCtors.*;
import static org.matheclipse.core.integrate.rubi45.UtilityFunctions.*;
import org.matheclipse.core.interfaces.IAST;

/** 
 * IndefiniteIntegrationRules from the <a href="http://www.apmaths.uwo.ca/~arich/">Rubi -
 * rule-based integrator</a>.
 *  
 */
public class IntRules60 { 
  public static IAST RULES = List( 
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),-1)),x_Symbol),
    Condition(Plus(Times(BSymbol,d,Power(b,-1),Int(Tan(Plus(e,Times(f,x))),x)),Times(Power(b,-1),Int(Times(Simp(Plus(Times(ASymbol,b,c),Times(Plus(Times(ASymbol,b,d),Times(BSymbol,Plus(Times(b,c),Times(CN1,a,d)))),Tan(Plus(e,Times(f,x))))),x),Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),-1)),x))),And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),-1)),x_Symbol),
    Condition(Plus(Times(BSymbol,d,Power(b,-1),Int(Cot(Plus(e,Times(f,x))),x)),Times(Power(b,-1),Int(Times(Simp(Plus(Times(ASymbol,b,c),Times(Plus(Times(ASymbol,b,d),Times(BSymbol,Plus(Times(b,c),Times(CN1,a,d)))),Cot(Plus(e,Times(f,x))))),x),Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),-1)),x))),And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_)),x_Symbol),
    Condition(Plus(Times(CN1,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Plus(Times(a,c),Times(b,d)),Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),m),Power(Times(C2,Sqr(a),f,m),-1)),Times(Power(Times(C2,a,b),-1),Int(Times(Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),Plus(m,C1)),Simp(Plus(Times(ASymbol,b,c),Times(a,BSymbol,c),Times(a,ASymbol,d),Times(b,BSymbol,d),Times(C2,a,BSymbol,d,Tan(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),RationalQ(m)),Less(m,CN1)),ZeroQ(Plus(Sqr(a),Sqr(b)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_)),x_Symbol),
    Condition(Plus(Times(Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Plus(Times(a,c),Times(b,d)),Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),m),Power(Times(C2,Sqr(a),f,m),-1)),Times(Power(Times(C2,a,b),-1),Int(Times(Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),Plus(m,C1)),Simp(Plus(Times(ASymbol,b,c),Times(a,BSymbol,c),Times(a,ASymbol,d),Times(b,BSymbol,d),Times(C2,a,BSymbol,d,Cot(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),RationalQ(m)),Less(m,CN1)),ZeroQ(Plus(Sqr(a),Sqr(b)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_)),x_Symbol),
    Condition(Plus(Times(Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Times(b,f,Plus(m,C1),Plus(Sqr(a),Sqr(b))),-1)),Times(Power(Plus(Sqr(a),Sqr(b)),-1),Int(Times(Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),Plus(m,C1)),Simp(Plus(Times(a,ASymbol,c),Times(b,BSymbol,c),Times(ASymbol,b,d),Times(CN1,a,BSymbol,d),Times(CN1,Plus(Times(ASymbol,b,c),Times(CN1,a,BSymbol,c),Times(CN1,a,ASymbol,d),Times(CN1,b,BSymbol,d)),Tan(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),RationalQ(m)),Less(m,CN1)),NonzeroQ(Plus(Sqr(a),Sqr(b)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_)),x_Symbol),
    Condition(Plus(Times(CN1,Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Times(b,f,Plus(m,C1),Plus(Sqr(a),Sqr(b))),-1)),Times(Power(Plus(Sqr(a),Sqr(b)),-1),Int(Times(Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),Plus(m,C1)),Simp(Plus(Times(a,ASymbol,c),Times(b,BSymbol,c),Times(ASymbol,b,d),Times(CN1,a,BSymbol,d),Times(CN1,Plus(Times(ASymbol,b,c),Times(CN1,a,BSymbol,c),Times(CN1,a,ASymbol,d),Times(CN1,b,BSymbol,d)),Cot(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),RationalQ(m)),Less(m,CN1)),NonzeroQ(Plus(Sqr(a),Sqr(b)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT)),x_Symbol),
    Condition(Plus(Times(BSymbol,d,Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Times(b,f,Plus(m,C1)),-1)),Int(Times(Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),m),Simp(Plus(Times(ASymbol,c),Times(CN1,BSymbol,d),Times(Plus(Times(BSymbol,c),Times(ASymbol,d)),Tan(Plus(e,Times(f,x))))),x)),x)),And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),Not(And(RationalQ(m),LessEqual(m,CN1)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT)),x_Symbol),
    Condition(Plus(Times(CN1,BSymbol,d,Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Times(b,f,Plus(m,C1)),-1)),Int(Times(Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),m),Simp(Plus(Times(ASymbol,c),Times(CN1,BSymbol,d),Times(Plus(Times(BSymbol,c),Times(ASymbol,d)),Cot(Plus(e,Times(f,x))))),x)),x)),And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),Not(And(RationalQ(m),LessEqual(m,CN1)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_DEFAULT)),x_Symbol),
    Condition(Plus(Times(CN1,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),n),Power(Times(C2,a,f,m),-1)),Times(Plus(Times(ASymbol,b,Plus(m,n)),Times(a,BSymbol,Plus(m,Negate(n)))),Power(Times(C2,a,b,m),-1),Int(Times(Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),n)),x))),And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Sqr(b)))),ZeroQ(Plus(Sqr(c),Sqr(d)))),RationalQ(m)),Less(m,CN1)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_DEFAULT)),x_Symbol),
    Condition(Plus(Times(Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),n),Power(Times(C2,a,f,m),-1)),Times(Plus(Times(ASymbol,b,Plus(m,n)),Times(a,BSymbol,Plus(m,Negate(n)))),Power(Times(C2,a,b,m),-1),Int(Times(Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),n)),x))),And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Sqr(b)))),ZeroQ(Plus(Sqr(c),Sqr(d)))),RationalQ(m)),Less(m,CN1)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(BSymbol,Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),n),Power(Times(f,Plus(m,n)),-1)),Times(Plus(Times(ASymbol,b,Plus(m,n)),Times(a,BSymbol,Plus(m,Negate(n)))),Power(Times(b,Plus(m,n)),-1),Int(Times(Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),n)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Sqr(b)))),ZeroQ(Plus(Sqr(c),Sqr(d)))),Not(And(RationalQ(m),Less(m,CN1)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,BSymbol,Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),n),Power(Times(f,Plus(m,n)),-1)),Times(Plus(Times(ASymbol,b,Plus(m,n)),Times(a,BSymbol,Plus(m,Negate(n)))),Power(Times(b,Plus(m,n)),-1),Int(Times(Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),n)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Sqr(b)))),ZeroQ(Plus(Sqr(c),Sqr(d)))),Not(And(RationalQ(m),Less(m,CN1)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,Sqr(a),Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(Times(b,c),Times(a,d)),Plus(n,C1)),-1)),Times(CN1,a,Power(Times(d,Plus(Times(b,c),Times(a,d)),Plus(n,C1)),-1),Int(Times(Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),Plus(n,C1)),Simp(Plus(Times(ASymbol,b,d,Plus(m,Negate(n),Negate(C2))),Times(CN1,BSymbol,Plus(Times(b,c,Plus(m,Negate(C1))),Times(a,d,Plus(n,C1)))),Times(Plus(Times(a,ASymbol,d,Plus(m,n)),Times(CN1,BSymbol,Plus(Times(a,c,Plus(m,Negate(C1))),Times(b,d,Plus(n,C1))))),Tan(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Sqr(b)))),RationalQ(m,n)),Greater(m,C1)),Less(n,CN1)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(Sqr(a),Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(Times(b,c),Times(a,d)),Plus(n,C1)),-1)),Times(CN1,a,Power(Times(d,Plus(Times(b,c),Times(a,d)),Plus(n,C1)),-1),Int(Times(Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),Plus(n,C1)),Simp(Plus(Times(ASymbol,b,d,Plus(m,Negate(n),Negate(C2))),Times(CN1,BSymbol,Plus(Times(b,c,Plus(m,Negate(C1))),Times(a,d,Plus(n,C1)))),Times(Plus(Times(a,ASymbol,d,Plus(m,n)),Times(CN1,BSymbol,Plus(Times(a,c,Plus(m,Negate(C1))),Times(b,d,Plus(n,C1))))),Cot(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Sqr(b)))),RationalQ(m,n)),Greater(m,C1)),Less(n,CN1)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(b,BSymbol,Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(m,n)),-1)),Times(Power(Times(d,Plus(m,n)),-1),Int(Times(Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),n),Simp(Plus(Times(a,ASymbol,d,Plus(m,n)),Times(BSymbol,Plus(Times(a,c,Plus(m,Negate(C1))),Times(CN1,b,d,Plus(n,C1)))),Times(CN1,Plus(Times(BSymbol,Plus(Times(b,c),Times(CN1,a,d)),Plus(m,Negate(C1))),Times(CN1,d,Plus(Times(ASymbol,b),Times(a,BSymbol)),Plus(m,n))),Tan(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Sqr(b)))),RationalQ(m)),Greater(m,C1)),Not(And(RationalQ(n),Less(n,CN1)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,b,BSymbol,Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(m,n)),-1)),Times(Power(Times(d,Plus(m,n)),-1),Int(Times(Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),n),Simp(Plus(Times(a,ASymbol,d,Plus(m,n)),Times(BSymbol,Plus(Times(a,c,Plus(m,Negate(C1))),Times(CN1,b,d,Plus(n,C1)))),Times(CN1,Plus(Times(BSymbol,Plus(Times(b,c),Times(CN1,a,d)),Plus(m,Negate(C1))),Times(CN1,d,Plus(Times(ASymbol,b),Times(a,BSymbol)),Plus(m,n))),Cot(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Sqr(b)))),RationalQ(m)),Greater(m,C1)),Not(And(RationalQ(n),Less(n,CN1)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),n),Power(Times(C2,a,f,m),-1)),Times(Power(Times(C2,Sqr(a),m),-1),Int(Times(Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),Plus(n,Negate(C1))),Simp(Plus(Times(ASymbol,Plus(Times(a,c,m),Times(b,d,n))),Times(CN1,BSymbol,Plus(Times(b,c,m),Times(a,d,n))),Times(CN1,d,Plus(Times(b,BSymbol,Plus(m,Negate(n))),Times(CN1,a,ASymbol,Plus(m,n))),Tan(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Sqr(b)))),RationalQ(m,n)),Less(m,C0)),Greater(n,C0)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),n),Power(Times(C2,a,f,m),-1)),Times(Power(Times(C2,Sqr(a),m),-1),Int(Times(Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),Plus(n,Negate(C1))),Simp(Plus(Times(ASymbol,Plus(Times(a,c,m),Times(b,d,n))),Times(CN1,BSymbol,Plus(Times(b,c,m),Times(a,d,n))),Times(CN1,d,Plus(Times(b,BSymbol,Plus(m,Negate(n))),Times(CN1,a,ASymbol,Plus(m,n))),Cot(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Sqr(b)))),RationalQ(m,n)),Less(m,C0)),Greater(n,C0)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(Plus(Times(a,ASymbol),Times(b,BSymbol)),Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(C2,f,m,Plus(Times(b,c),Times(CN1,a,d))),-1)),Times(Power(Times(C2,a,m,Plus(Times(b,c),Times(CN1,a,d))),-1),Int(Times(Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),n),Simp(Plus(Times(ASymbol,Plus(Times(b,c,m),Times(CN1,a,d,Plus(Times(C2,m),n,C1)))),Times(BSymbol,Plus(Times(a,c,m),Times(CN1,b,d,Plus(n,C1)))),Times(d,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Plus(m,n,C1),Tan(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Sqr(b)))),RationalQ(m)),Less(m,C0)),Not(And(RationalQ(n),Greater(n,C0)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,Plus(Times(a,ASymbol),Times(b,BSymbol)),Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(C2,f,m,Plus(Times(b,c),Times(CN1,a,d))),-1)),Times(Power(Times(C2,a,m,Plus(Times(b,c),Times(CN1,a,d))),-1),Int(Times(Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),n),Simp(Plus(Times(ASymbol,Plus(Times(b,c,m),Times(CN1,a,d,Plus(Times(C2,m),n,C1)))),Times(BSymbol,Plus(Times(a,c,m),Times(CN1,b,d,Plus(n,C1)))),Times(d,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Plus(m,n,C1),Cot(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Sqr(b)))),RationalQ(m)),Less(m,C0)),Not(And(RationalQ(n),Greater(n,C0)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(BSymbol,Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),n),Power(Times(f,Plus(m,n)),-1)),Times(Power(Times(a,Plus(m,n)),-1),Int(Times(Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),Plus(n,Negate(C1))),Simp(Plus(Times(a,ASymbol,c,Plus(m,n)),Times(CN1,BSymbol,Plus(Times(b,c,m),Times(a,d,n))),Times(Plus(Times(a,ASymbol,d,Plus(m,n)),Times(CN1,BSymbol,Plus(Times(b,d,m),Times(CN1,a,c,n)))),Tan(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Sqr(b)))),RationalQ(n)),Greater(n,C0)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,BSymbol,Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),n),Power(Times(f,Plus(m,n)),-1)),Times(Power(Times(a,Plus(m,n)),-1),Int(Times(Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),Plus(n,Negate(C1))),Simp(Plus(Times(a,ASymbol,c,Plus(m,n)),Times(CN1,BSymbol,Plus(Times(b,c,m),Times(a,d,n))),Times(Plus(Times(a,ASymbol,d,Plus(m,n)),Times(CN1,BSymbol,Plus(Times(b,d,m),Times(CN1,a,c,n)))),Cot(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Sqr(b)))),RationalQ(n)),Greater(n,C0)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(Plus(Times(ASymbol,d),Times(CN1,BSymbol,c)),Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(f,Plus(n,C1),Plus(Sqr(c),Sqr(d))),-1)),Times(CN1,Power(Times(a,Plus(n,C1),Plus(Sqr(c),Sqr(d))),-1),Int(Times(Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),Plus(n,C1)),Simp(Plus(Times(ASymbol,Plus(Times(b,d,m),Times(CN1,a,c,Plus(n,C1)))),Times(CN1,BSymbol,Plus(Times(b,c,m),Times(a,d,Plus(n,C1)))),Times(CN1,a,Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Plus(m,n,C1),Tan(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Sqr(b)))),RationalQ(n)),Less(n,CN1)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,Plus(Times(ASymbol,d),Times(CN1,BSymbol,c)),Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(f,Plus(n,C1),Plus(Sqr(c),Sqr(d))),-1)),Times(CN1,Power(Times(a,Plus(n,C1),Plus(Sqr(c),Sqr(d))),-1),Int(Times(Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),Plus(n,C1)),Simp(Plus(Times(ASymbol,Plus(Times(b,d,m),Times(CN1,a,c,Plus(n,C1)))),Times(CN1,BSymbol,Plus(Times(b,c,m),Times(a,d,Plus(n,C1)))),Times(CN1,a,Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Plus(m,n,C1),Cot(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Sqr(b)))),RationalQ(n)),Less(n,CN1)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Times(b,BSymbol,Power(f,-1),Subst(Int(Times(Power(Plus(a,Times(b,x)),Plus(m,Negate(C1))),Power(Plus(c,Times(d,x)),n)),x),x,Tan(Plus(e,Times(f,x))))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Sqr(b)))),ZeroQ(Plus(Times(ASymbol,b),Times(a,BSymbol)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Times(CN1,b,BSymbol,Power(f,-1),Subst(Int(Times(Power(Plus(a,Times(b,x)),Plus(m,Negate(C1))),Power(Plus(c,Times(d,x)),n)),x),x,Cot(Plus(e,Times(f,x))))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Sqr(b)))),ZeroQ(Plus(Times(ASymbol,b),Times(a,BSymbol)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),-1)),x_Symbol),
    Condition(Plus(Times(Plus(Times(ASymbol,b),Times(a,BSymbol)),Power(Plus(Times(b,c),Times(a,d)),-1),Int(Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),m),x)),Times(CN1,Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Power(Plus(Times(b,c),Times(a,d)),-1),Int(Times(Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),m),Plus(a,Times(CN1,b,Tan(Plus(e,Times(f,x))))),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),-1)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Sqr(b)))),NonzeroQ(Plus(Times(ASymbol,b),Times(a,BSymbol)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),-1)),x_Symbol),
    Condition(Plus(Times(Plus(Times(ASymbol,b),Times(a,BSymbol)),Power(Plus(Times(b,c),Times(a,d)),-1),Int(Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),m),x)),Times(CN1,Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Power(Plus(Times(b,c),Times(a,d)),-1),Int(Times(Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),m),Plus(a,Times(CN1,b,Cot(Plus(e,Times(f,x))))),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),-1)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Sqr(b)))),NonzeroQ(Plus(Times(ASymbol,b),Times(a,BSymbol)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(Plus(Times(ASymbol,b),Times(a,BSymbol)),Power(b,-1),Int(Times(Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),n)),x)),Times(CN1,BSymbol,Power(b,-1),Int(Times(Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),n),Plus(a,Times(CN1,b,Tan(Plus(e,Times(f,x)))))),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Sqr(b)))),NonzeroQ(Plus(Times(ASymbol,b),Times(a,BSymbol)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(Plus(Times(ASymbol,b),Times(a,BSymbol)),Power(b,-1),Int(Times(Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),n)),x)),Times(CN1,BSymbol,Power(b,-1),Int(Times(Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),n),Plus(a,Times(CN1,b,Cot(Plus(e,Times(f,x)))))),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Sqr(b)))),NonzeroQ(Plus(Times(ASymbol,b),Times(a,BSymbol)))))),
ISetDelayed(Int(Times(Plus(A_,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Times(Sqr(ASymbol),Power(f,-1),Subst(Int(Times(Power(Plus(a,Times(b,x)),m),Power(Plus(c,Times(d,x)),n),Power(Plus(ASymbol,Times(CN1,BSymbol,x)),-1)),x),x,Tan(Plus(e,Times(f,x))))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),Not(IntegerQ(m))),Not(IntegerQ(n))),Not(IntegersQ(Times(C2,m),Times(C2,n)))),ZeroQ(Plus(Sqr(ASymbol),Sqr(BSymbol)))))),
ISetDelayed(Int(Times(Plus(A_,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Times(CN1,Sqr(ASymbol),Power(f,-1),Subst(Int(Times(Power(Plus(a,Times(b,x)),m),Power(Plus(c,Times(d,x)),n),Power(Plus(ASymbol,Times(CN1,BSymbol,x)),-1)),x),x,Cot(Plus(e,Times(f,x))))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),Not(IntegerQ(m))),Not(IntegerQ(n))),Not(IntegersQ(Times(C2,m),Times(C2,n)))),ZeroQ(Plus(Sqr(ASymbol),Sqr(BSymbol)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(C1D2,Plus(ASymbol,Times(CI,BSymbol)),Int(Times(Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),n),Plus(C1,Times(CN1,CI,Tan(Plus(e,Times(f,x)))))),x)),Times(C1D2,Plus(ASymbol,Times(CN1,CI,BSymbol)),Int(Times(Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),n),Plus(C1,Times(CI,Tan(Plus(e,Times(f,x)))))),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),Not(IntegerQ(m))),Not(IntegerQ(n))),Not(IntegersQ(Times(C2,m),Times(C2,n)))),NonzeroQ(Plus(Sqr(ASymbol),Sqr(BSymbol)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(C1D2,Plus(ASymbol,Times(CI,BSymbol)),Int(Times(Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),n),Plus(C1,Times(CN1,CI,Cot(Plus(e,Times(f,x)))))),x)),Times(C1D2,Plus(ASymbol,Times(CN1,CI,BSymbol)),Int(Times(Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),n),Plus(C1,Times(CI,Cot(Plus(e,Times(f,x)))))),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),Not(IntegerQ(m))),Not(IntegerQ(n))),Not(IntegersQ(Times(C2,m),Times(C2,n)))),NonzeroQ(Plus(Sqr(ASymbol),Sqr(BSymbol)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(n,C1),Plus(Sqr(c),Sqr(d))),-1)),Times(CN1,Power(Times(d,Plus(n,C1),Plus(Sqr(c),Sqr(d))),-1),Int(Times(Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),Plus(m,Negate(C2))),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),Plus(n,C1)),Simp(Plus(Times(a,ASymbol,d,Plus(Times(b,d,Plus(m,Negate(C1))),Times(CN1,a,c,Plus(n,C1)))),Times(Plus(Times(b,BSymbol,c),Times(CN1,Plus(Times(ASymbol,b),Times(a,BSymbol)),d)),Plus(Times(b,c,Plus(m,Negate(C1))),Times(a,d,Plus(n,C1)))),Times(CN1,d,Plus(Times(Plus(Times(a,ASymbol),Times(CN1,b,BSymbol)),Plus(Times(b,c),Times(CN1,a,d))),Times(Plus(Times(ASymbol,b),Times(a,BSymbol)),Plus(Times(a,c),Times(b,d)))),Plus(n,C1),Tan(Plus(e,Times(f,x)))),Times(CN1,b,Plus(Times(d,Plus(Times(ASymbol,b,c),Times(a,BSymbol,c),Times(CN1,a,ASymbol,d)),Plus(m,n)),Times(CN1,b,BSymbol,Plus(Times(Sqr(c),Plus(m,Negate(C1))),Times(CN1,Sqr(d),Plus(n,C1))))),Sqr(Tan(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),NonzeroQ(Plus(Sqr(c),Sqr(d)))),RationalQ(m,n)),Greater(m,C1)),Less(n,CN1)),Or(IntegerQ(m),IntegersQ(Times(C2,m),Times(C2,n)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(n,C1),Plus(Sqr(c),Sqr(d))),-1)),Times(CN1,Power(Times(d,Plus(n,C1),Plus(Sqr(c),Sqr(d))),-1),Int(Times(Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),Plus(m,Negate(C2))),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),Plus(n,C1)),Simp(Plus(Times(a,ASymbol,d,Plus(Times(b,d,Plus(m,Negate(C1))),Times(CN1,a,c,Plus(n,C1)))),Times(Plus(Times(b,BSymbol,c),Times(CN1,Plus(Times(ASymbol,b),Times(a,BSymbol)),d)),Plus(Times(b,c,Plus(m,Negate(C1))),Times(a,d,Plus(n,C1)))),Times(CN1,d,Plus(Times(Plus(Times(a,ASymbol),Times(CN1,b,BSymbol)),Plus(Times(b,c),Times(CN1,a,d))),Times(Plus(Times(ASymbol,b),Times(a,BSymbol)),Plus(Times(a,c),Times(b,d)))),Plus(n,C1),Cot(Plus(e,Times(f,x)))),Times(CN1,b,Plus(Times(d,Plus(Times(ASymbol,b,c),Times(a,BSymbol,c),Times(CN1,a,ASymbol,d)),Plus(m,n)),Times(CN1,b,BSymbol,Plus(Times(Sqr(c),Plus(m,Negate(C1))),Times(CN1,Sqr(d),Plus(n,C1))))),Sqr(Cot(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),NonzeroQ(Plus(Sqr(c),Sqr(d)))),RationalQ(m,n)),Greater(m,C1)),Less(n,CN1)),Or(IntegerQ(m),IntegersQ(Times(C2,m),Times(C2,n)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(b,BSymbol,Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(m,n)),-1)),Times(Power(Times(d,Plus(m,n)),-1),Int(Times(Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),Plus(m,Negate(C2))),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),n),Simp(Plus(Times(Sqr(a),ASymbol,d,Plus(m,n)),Times(CN1,b,BSymbol,Plus(Times(b,c,Plus(m,Negate(C1))),Times(a,d,Plus(n,C1)))),Times(d,Plus(m,n),Plus(Times(C2,a,ASymbol,b),Times(BSymbol,Plus(Sqr(a),Negate(Sqr(b))))),Tan(Plus(e,Times(f,x)))),Times(CN1,Plus(Times(b,BSymbol,Plus(Times(b,c),Times(CN1,a,d)),Plus(m,Negate(C1))),Times(CN1,b,Plus(Times(ASymbol,b),Times(a,BSymbol)),d,Plus(m,n))),Sqr(Tan(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),NonzeroQ(Plus(Sqr(c),Sqr(d)))),RationalQ(m)),Greater(m,C1)),Or(IntegerQ(m),IntegersQ(Times(C2,m),Times(C2,n)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,b,BSymbol,Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(m,n)),-1)),Times(Power(Times(d,Plus(m,n)),-1),Int(Times(Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),Plus(m,Negate(C2))),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),n),Simp(Plus(Times(Sqr(a),ASymbol,d,Plus(m,n)),Times(CN1,b,BSymbol,Plus(Times(b,c,Plus(m,Negate(C1))),Times(a,d,Plus(n,C1)))),Times(d,Plus(m,n),Plus(Times(C2,a,ASymbol,b),Times(BSymbol,Plus(Sqr(a),Negate(Sqr(b))))),Cot(Plus(e,Times(f,x)))),Times(CN1,Plus(Times(b,BSymbol,Plus(Times(b,c),Times(CN1,a,d)),Plus(m,Negate(C1))),Times(CN1,b,Plus(Times(ASymbol,b),Times(a,BSymbol)),d,Plus(m,n))),Sqr(Cot(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),NonzeroQ(Plus(Sqr(c),Sqr(d)))),RationalQ(m)),Greater(m,C1)),Or(IntegerQ(m),IntegersQ(Times(C2,m),Times(C2,n)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),n),Power(Times(f,Plus(m,C1),Plus(Sqr(a),Sqr(b))),-1)),Times(Power(Times(b,Plus(m,C1),Plus(Sqr(a),Sqr(b))),-1),Int(Times(Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),Plus(n,Negate(C1))),Simp(Plus(Times(b,BSymbol,Plus(Times(b,c,Plus(m,C1)),Times(a,d,n))),Times(ASymbol,b,Plus(Times(a,c,Plus(m,C1)),Times(CN1,b,d,n))),Times(CN1,b,Plus(Times(ASymbol,Plus(Times(b,c),Times(CN1,a,d))),Times(CN1,BSymbol,Plus(Times(a,c),Times(b,d)))),Plus(m,C1),Tan(Plus(e,Times(f,x)))),Times(CN1,b,d,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Plus(m,n,C1),Sqr(Tan(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),NonzeroQ(Plus(Sqr(c),Sqr(d)))),RationalQ(m,n)),Less(m,CN1)),Less(Less(C0,n),C1)),Or(IntegerQ(m),IntegersQ(Times(C2,m),Times(C2,n)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),n),Power(Times(f,Plus(m,C1),Plus(Sqr(a),Sqr(b))),-1)),Times(Power(Times(b,Plus(m,C1),Plus(Sqr(a),Sqr(b))),-1),Int(Times(Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),Plus(n,Negate(C1))),Simp(Plus(Times(b,BSymbol,Plus(Times(b,c,Plus(m,C1)),Times(a,d,n))),Times(ASymbol,b,Plus(Times(a,c,Plus(m,C1)),Times(CN1,b,d,n))),Times(CN1,b,Plus(Times(ASymbol,Plus(Times(b,c),Times(CN1,a,d))),Times(CN1,BSymbol,Plus(Times(a,c),Times(b,d)))),Plus(m,C1),Cot(Plus(e,Times(f,x)))),Times(CN1,b,d,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Plus(m,n,C1),Sqr(Cot(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),NonzeroQ(Plus(Sqr(c),Sqr(d)))),RationalQ(m,n)),Less(m,CN1)),Less(Less(C0,n),C1)),Or(IntegerQ(m),IntegersQ(Times(C2,m),Times(C2,n)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(b,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(f,Plus(m,C1),Plus(Times(b,c),Times(CN1,a,d)),Plus(Sqr(a),Sqr(b))),-1)),Times(Power(Times(Plus(m,C1),Plus(Times(b,c),Times(CN1,a,d)),Plus(Sqr(a),Sqr(b))),-1),Int(Times(Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),n),Simp(Plus(Times(b,BSymbol,Plus(Times(b,c,Plus(m,C1)),Times(a,d,Plus(n,C1)))),Times(ASymbol,Plus(Times(a,Plus(Times(b,c),Times(CN1,a,d)),Plus(m,C1)),Times(CN1,Sqr(b),d,Plus(m,n,C2)))),Times(CN1,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Plus(Times(b,c),Times(CN1,a,d)),Plus(m,C1),Tan(Plus(e,Times(f,x)))),Times(CN1,b,d,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Plus(m,n,C2),Sqr(Tan(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),NonzeroQ(Plus(Sqr(c),Sqr(d)))),RationalQ(m)),Less(m,CN1)),Or(And(IntegerQ(m),NonzeroQ(a)),IntegersQ(Times(C2,m),Times(C2,n)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,b,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(f,Plus(m,C1),Plus(Times(b,c),Times(CN1,a,d)),Plus(Sqr(a),Sqr(b))),-1)),Times(Power(Times(Plus(m,C1),Plus(Times(b,c),Times(CN1,a,d)),Plus(Sqr(a),Sqr(b))),-1),Int(Times(Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),n),Simp(Plus(Times(b,BSymbol,Plus(Times(b,c,Plus(m,C1)),Times(a,d,Plus(n,C1)))),Times(ASymbol,Plus(Times(a,Plus(Times(b,c),Times(CN1,a,d)),Plus(m,C1)),Times(CN1,Sqr(b),d,Plus(m,n,C2)))),Times(CN1,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Plus(Times(b,c),Times(CN1,a,d)),Plus(m,C1),Cot(Plus(e,Times(f,x)))),Times(CN1,b,d,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Plus(m,n,C2),Sqr(Cot(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),NonzeroQ(Plus(Sqr(c),Sqr(d)))),RationalQ(m)),Less(m,CN1)),Or(And(IntegerQ(m),NonzeroQ(a)),IntegersQ(Times(C2,m),Times(C2,n)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(BSymbol,Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),n),Power(Times(f,Plus(m,n)),-1)),Times(Power(Plus(m,n),-1),Int(Times(Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),Plus(n,Negate(C1))),Simp(Plus(Times(a,ASymbol,c,Plus(m,n)),Times(CN1,BSymbol,Plus(Times(b,c,m),Times(a,d,n))),Times(Plus(Times(ASymbol,b,c),Times(a,BSymbol,c),Times(a,ASymbol,d),Times(CN1,b,BSymbol,d)),Plus(m,n),Tan(Plus(e,Times(f,x)))),Times(Plus(Times(ASymbol,b,d,Plus(m,n)),Times(BSymbol,Plus(Times(a,d,m),Times(b,c,n)))),Sqr(Tan(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),NonzeroQ(Plus(Sqr(c),Sqr(d)))),RationalQ(m,n)),Less(Less(C0,m),C1)),Less(Less(C0,n),C1)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,BSymbol,Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),n),Power(Times(f,Plus(m,n)),-1)),Times(Power(Plus(m,n),-1),Int(Times(Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),Plus(n,Negate(C1))),Simp(Plus(Times(a,ASymbol,c,Plus(m,n)),Times(CN1,BSymbol,Plus(Times(b,c,m),Times(a,d,n))),Times(Plus(Times(ASymbol,b,c),Times(a,BSymbol,c),Times(a,ASymbol,d),Times(CN1,b,BSymbol,d)),Plus(m,n),Cot(Plus(e,Times(f,x)))),Times(Plus(Times(ASymbol,b,d,Plus(m,n)),Times(BSymbol,Plus(Times(a,d,m),Times(b,c,n)))),Sqr(Cot(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),NonzeroQ(Plus(Sqr(c),Sqr(d)))),RationalQ(m,n)),Less(Less(C0,m),C1)),Less(Less(C0,n),C1)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Times(Plus(a_,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),-1)),x_Symbol),
    Condition(Plus(Times(Plus(Times(BSymbol,Plus(Times(b,c),Times(a,d))),Times(ASymbol,Plus(Times(a,c),Times(CN1,b,d)))),x,Power(Times(Plus(Sqr(a),Sqr(b)),Plus(Sqr(c),Sqr(d))),-1)),Times(b,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Power(Times(Plus(Times(b,c),Times(CN1,a,d)),Plus(Sqr(a),Sqr(b))),-1),Int(Times(Plus(b,Times(CN1,a,Tan(Plus(e,Times(f,x))))),Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),-1)),x)),Times(d,Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Power(Times(Plus(Times(b,c),Times(CN1,a,d)),Plus(Sqr(c),Sqr(d))),-1),Int(Times(Plus(d,Times(CN1,c,Tan(Plus(e,Times(f,x))))),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),-1)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),NonzeroQ(Plus(Sqr(c),Sqr(d)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Times(Plus(a_,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),-1)),x_Symbol),
    Condition(Plus(Times(Plus(Times(BSymbol,Plus(Times(b,c),Times(a,d))),Times(ASymbol,Plus(Times(a,c),Times(CN1,b,d)))),x,Power(Times(Plus(Sqr(a),Sqr(b)),Plus(Sqr(c),Sqr(d))),-1)),Times(b,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Power(Times(Plus(Times(b,c),Times(CN1,a,d)),Plus(Sqr(a),Sqr(b))),-1),Int(Times(Plus(b,Times(CN1,a,Cot(Plus(e,Times(f,x))))),Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),-1)),x)),Times(d,Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Power(Times(Plus(Times(b,c),Times(CN1,a,d)),Plus(Sqr(c),Sqr(d))),-1),Int(Times(Plus(d,Times(CN1,c,Cot(Plus(e,Times(f,x))))),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),-1)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),NonzeroQ(Plus(Sqr(c),Sqr(d)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Sqrt(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),-1)),x_Symbol),
    Condition(Plus(Times(Power(Plus(Sqr(c),Sqr(d)),-1),Int(Times(Simp(Plus(Times(ASymbol,Plus(Times(a,c),Times(b,d))),Times(CN1,BSymbol,Plus(Times(b,c),Times(CN1,a,d))),Times(Plus(Times(ASymbol,Plus(Times(b,c),Times(CN1,a,d))),Times(BSymbol,Plus(Times(a,c),Times(b,d)))),Tan(Plus(e,Times(f,x))))),x),Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),CN1D2)),x)),Times(Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Power(Plus(Sqr(c),Sqr(d)),-1),Int(Times(Plus(C1,Sqr(Tan(Plus(e,Times(f,x))))),Power(Times(Sqrt(Plus(a,Times(b,Tan(Plus(e,Times(f,x)))))),Plus(c,Times(d,Tan(Plus(e,Times(f,x)))))),-1)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),NonzeroQ(Plus(Sqr(c),Sqr(d)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Sqrt(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),-1)),x_Symbol),
    Condition(Plus(Times(Power(Plus(Sqr(c),Sqr(d)),-1),Int(Times(Simp(Plus(Times(ASymbol,Plus(Times(a,c),Times(b,d))),Times(CN1,BSymbol,Plus(Times(b,c),Times(CN1,a,d))),Times(Plus(Times(ASymbol,Plus(Times(b,c),Times(CN1,a,d))),Times(BSymbol,Plus(Times(a,c),Times(b,d)))),Cot(Plus(e,Times(f,x))))),x),Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),CN1D2)),x)),Times(Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Power(Plus(Sqr(c),Sqr(d)),-1),Int(Times(Plus(C1,Sqr(Cot(Plus(e,Times(f,x))))),Power(Times(Sqrt(Plus(a,Times(b,Cot(Plus(e,Times(f,x)))))),Plus(c,Times(d,Cot(Plus(e,Times(f,x)))))),-1)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),NonzeroQ(Plus(Sqr(c),Sqr(d)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),-1),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(Power(Plus(Sqr(a),Sqr(b)),-1),Int(Times(Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),n),Simp(Plus(Times(a,ASymbol),Times(b,BSymbol),Times(CN1,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Tan(Plus(e,Times(f,x))))),x)),x)),Times(b,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Power(Plus(Sqr(a),Sqr(b)),-1),Int(Times(Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),n),Plus(C1,Sqr(Tan(Plus(e,Times(f,x))))),Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),-1)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),NonzeroQ(Plus(Sqr(c),Sqr(d)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),-1),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(Power(Plus(Sqr(a),Sqr(b)),-1),Int(Times(Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),n),Simp(Plus(Times(a,ASymbol),Times(b,BSymbol),Times(CN1,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Cot(Plus(e,Times(f,x))))),x)),x)),Times(b,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Power(Plus(Sqr(a),Sqr(b)),-1),Int(Times(Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),n),Plus(C1,Sqr(Cot(Plus(e,Times(f,x))))),Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),-1)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),NonzeroQ(Plus(Sqr(c),Sqr(d)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Sqrt(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),CN1D2)),x_Symbol),
    Condition(Plus(Int(Times(Simp(Plus(Times(a,ASymbol),Times(CN1,b,BSymbol),Times(Plus(Times(ASymbol,b),Times(a,BSymbol)),Tan(Plus(e,Times(f,x))))),x),Power(Times(Sqrt(Plus(a,Times(b,Tan(Plus(e,Times(f,x)))))),Sqrt(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))))),-1)),x),Times(b,BSymbol,Int(Times(Plus(C1,Sqr(Tan(Plus(e,Times(f,x))))),Power(Times(Sqrt(Plus(a,Times(b,Tan(Plus(e,Times(f,x)))))),Sqrt(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))))),-1)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),NonzeroQ(Plus(Sqr(c),Sqr(d)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Sqrt(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),CN1D2)),x_Symbol),
    Condition(Plus(Int(Times(Simp(Plus(Times(a,ASymbol),Times(CN1,b,BSymbol),Times(Plus(Times(ASymbol,b),Times(a,BSymbol)),Cot(Plus(e,Times(f,x))))),x),Power(Times(Sqrt(Plus(a,Times(b,Cot(Plus(e,Times(f,x)))))),Sqrt(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))))),-1)),x),Times(b,BSymbol,Int(Times(Plus(C1,Sqr(Cot(Plus(e,Times(f,x))))),Power(Times(Sqrt(Plus(a,Times(b,Cot(Plus(e,Times(f,x)))))),Sqrt(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))))),-1)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),NonzeroQ(Plus(Sqr(c),Sqr(d)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Times(Sqrt(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Sqrt(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))))),-1)),x_Symbol),
    Condition(Times(Sqr(ASymbol),Power(f,-1),Subst(Int(Power(Times(Plus(ASymbol,Times(CN1,BSymbol,x)),Sqrt(Plus(a,Times(b,x))),Sqrt(Plus(c,Times(d,x)))),-1),x),x,Tan(Plus(e,Times(f,x))))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),NonzeroQ(Plus(Sqr(c),Sqr(d)))),ZeroQ(Plus(Sqr(ASymbol),Sqr(BSymbol)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Times(Sqrt(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Sqrt(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))))),-1)),x_Symbol),
    Condition(Times(CN1,Sqr(ASymbol),Power(f,-1),Subst(Int(Power(Times(Plus(ASymbol,Times(CN1,BSymbol,x)),Sqrt(Plus(a,Times(b,x))),Sqrt(Plus(c,Times(d,x)))),-1),x),x,Cot(Plus(e,Times(f,x))))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),NonzeroQ(Plus(Sqr(c),Sqr(d)))),ZeroQ(Plus(Sqr(ASymbol),Sqr(BSymbol)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Times(Sqrt(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Sqrt(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))))),-1)),x_Symbol),
    Condition(Plus(Times(C1D2,Plus(ASymbol,Times(CI,BSymbol)),Int(Times(Plus(C1,Times(CN1,CI,Tan(Plus(e,Times(f,x))))),Power(Times(Sqrt(Plus(a,Times(b,Tan(Plus(e,Times(f,x)))))),Sqrt(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))))),-1)),x)),Times(C1D2,Plus(ASymbol,Times(CN1,CI,BSymbol)),Int(Times(Plus(C1,Times(CI,Tan(Plus(e,Times(f,x))))),Power(Times(Sqrt(Plus(a,Times(b,Tan(Plus(e,Times(f,x)))))),Sqrt(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))))),-1)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),NonzeroQ(Plus(Sqr(c),Sqr(d)))),NonzeroQ(Plus(Sqr(ASymbol),Sqr(BSymbol)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Times(Sqrt(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Sqrt(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))))),-1)),x_Symbol),
    Condition(Plus(Times(C1D2,Plus(ASymbol,Times(CI,BSymbol)),Int(Times(Plus(C1,Times(CN1,CI,Cot(Plus(e,Times(f,x))))),Power(Times(Sqrt(Plus(a,Times(b,Cot(Plus(e,Times(f,x)))))),Sqrt(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))))),-1)),x)),Times(C1D2,Plus(ASymbol,Times(CN1,CI,BSymbol)),Int(Times(Plus(C1,Times(CI,Cot(Plus(e,Times(f,x))))),Power(Times(Sqrt(Plus(a,Times(b,Cot(Plus(e,Times(f,x)))))),Sqrt(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))))),-1)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),NonzeroQ(Plus(Sqr(c),Sqr(d)))),NonzeroQ(Plus(Sqr(ASymbol),Sqr(BSymbol)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Times(Sqr(ASymbol),Power(f,-1),Subst(Int(Times(Power(Plus(a,Times(b,x)),m),Power(Plus(c,Times(d,x)),n),Power(Plus(ASymbol,Times(CN1,BSymbol,x)),-1)),x),x,Tan(Plus(e,Times(f,x))))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),ZeroQ(Plus(Sqr(ASymbol),Sqr(BSymbol)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Times(CN1,Sqr(ASymbol),Power(f,-1),Subst(Int(Times(Power(Plus(a,Times(b,x)),m),Power(Plus(c,Times(d,x)),n),Power(Plus(ASymbol,Times(CN1,BSymbol,x)),-1)),x),x,Cot(Plus(e,Times(f,x))))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),ZeroQ(Plus(Sqr(ASymbol),Sqr(BSymbol)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§tan"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(C1D2,Plus(ASymbol,Times(CI,BSymbol)),Int(Times(Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),n),Plus(C1,Times(CN1,CI,Tan(Plus(e,Times(f,x)))))),x)),Times(C1D2,Plus(ASymbol,Times(CN1,CI,BSymbol)),Int(Times(Power(Plus(a,Times(b,Tan(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Tan(Plus(e,Times(f,x))))),n),Plus(C1,Times(CI,Tan(Plus(e,Times(f,x)))))),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),NonzeroQ(Plus(Sqr(ASymbol),Sqr(BSymbol)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cot"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(C1D2,Plus(ASymbol,Times(CI,BSymbol)),Int(Times(Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),n),Plus(C1,Times(CN1,CI,Cot(Plus(e,Times(f,x)))))),x)),Times(C1D2,Plus(ASymbol,Times(CN1,CI,BSymbol)),Int(Times(Power(Plus(a,Times(b,Cot(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cot(Plus(e,Times(f,x))))),n),Plus(C1,Times(CI,Cot(Plus(e,Times(f,x)))))),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Sqr(b)))),NonzeroQ(Plus(Sqr(ASymbol),Sqr(BSymbol))))))
  );
}
